New Symbolic Model Verifier

英文缩写：NUSMV

英文全称：New Symbolic Model Verifier

中文释义：新符号模型验证器

中文拼音：xīn fú hào mó xíng yàn zhèng qì

所属分类：Computing

上一个：Ethernet Network Routing Module 下一个：ToasterOS (Operating System)

栏目分类

英语单词英文缩写

常用缩写

WCKX 缩写 WCGB 缩写 WEGP 缩写 WNNB 缩写 WBVX 缩写 LUCKY 缩写 KDD 缩写 WBLL 缩写 WBRF 缩写 WBJD 缩写 WBLF 缩写 RILO 缩写 WDYR 缩写